package interfaces.managers;

import interfaces.ICliente;
import interfaces.IIncidencia;
import tdg.contract.semanticAnnotations.ImportClass;
import tdg.contract.semanticAnnotations.Init;
import tdg.contract.semanticAnnotations.Pre;
import tdg.contract.semanticAnnotations.Pos;
import tdg.contract.semanticAnnotations.Inv;
import tdg.contract.semanticAnnotations.Query;

@Init ({""})
@Inv ({""})

public interface ICreadorIncidencias {
	
	@Pre ({"i!=null && c!=null #NullPointerException"})
	public void creaIncidencia(IIncidencia i, ICliente c);
}
